#!/bin/bash

#------------------------------------------------------------------------------------------------#
# Verifica si el ambiente de ejecución fue inicializado en la sesión de usuario corriente.
# Si fue inicializado devuelve 1.
# En caso contrario devuelve otro número.
#------------------------------------------------------------------------------------------------#

function AmbienteInicializado() {
	if [ -z ${EJECUTADO+x} ];
	then
		echo "El ambiente de ejecución no ha sido inicializado en esta sesión de usuario.";
	else
		echo "El ambiente de ejecución ha sido inicializado correctamente en esta sesión de usuario.";
	fi
	return $EJECUTADO
}

#------------------------------------------------------------------------------------------------#

